XML Methods for Validation of Temporal Properties on Message Traces with Data

نویسندگان

  • Sylvain Hallé
  • Roger Villemaire
چکیده

We perform trace validation of LTL formulæ by exclusively using readily-available XML technologies. We first provide a translation between LTL and a subset of the XML Query Language XQuery, and show that an efficient validation of LTL formulæ can be achieved through the evaluation of XQuery expressions. Moreover, since LTL maps to a small fragment of XQuery, we show that that extending it to LTL-FO, which includes full first-order quantification over message contents, can be supported without additional cost. All these capabilities, which come “for free” in any web service environment providing a standard XQuery engine, are tested using a representative choreography scenario.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Apply Uncertainty in Document-Oriented Database (MongoDB) Using F-XML

As moving to big data world where data is increasing in unstructured way with high velocity, there is a need of data-store to store this bundle amount of data. Traditionally, relational databases are used which are now not compatible to handle this large amount of data, so it is needed to move on to non-relational data-stores. In the current study, we have proposed an extension of the Mongo...

متن کامل

Apply Uncertainty in Document-Oriented Database (MongoDB) Using F-XML

As moving to big data world where data is increasing in unstructured way with high velocity, there is a need of data-store to store this bundle amount of data. Traditionally, relational databases are used which are now not compatible to handle this large amount of data, so it is needed to move on to non-relational data-stores. In the current study, we have proposed an extension of the Mongo...

متن کامل

Traviando - a Trace Analyzer to Debug Simulation Models

Verification and validation of simulation models are crucial steps to the success of a simulation project. Traces are a common and powerful mean to document the dynamic behavior of a model and are generated by most simulation engines. In this paper, we describe techniques and corresponding tool support that helps a modeler to gain insight in the dynamic behavior of complex simulation models bas...

متن کامل

Deciding Properties for Message Sequence Charts

Message sequence charts (MSC) are commonly used in designing communication systems. They allow describing the communication skeleton of a system and can be used for nding design errors. First, a speciication formalism that is based on MSC graphs, combining nite message sequence charts, is presented. We present then an automatic validation algorithm for systems described using the message sequen...

متن کامل

Behavior-Based Online Anomaly Detection for a Nationwide Short Message Service

As fraudsters understand the time window and act fast, real-time fraud management systems becomes necessary in Telecommunication Industry. In this work, by analyzing traces collected from a nationwide cellular network over a period of a month, an online behavior-based anomaly detection system is provided. Over time, users' interactions with the network provides a vast amount of usage data. Thes...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008